Implementation in generic environments

Generic Environments in Coq

We introduce a library which provides an abstract data type of environments, as a functor parameterized by a module defining variables, and a function which builds environments for such variables with any Type of type. Usual operations over environments are defined, along with an extensive set of basic and more advanced properties. Moreover, we give an implementation using lists satisfying all ...

Generic Implementation of Free Form

Generic Security Framework for Cloud Computing Environments

A Generic Library for Adaptive Computing Environments

The Generic Library for Adaptive Computing Environments (GLACE) consists of a comprehensive set of module generators currently targeting Xilinx XC4000 and Virtex devices. In contrast to other research efforts in this area, it provides detailed meta-data about the generated circuits (behavior, area, timing, topology etc.) using the active FLAME interface. All of the modules adhere to a common la...

Generic Implementation of Product Line Components

An argument pro component-based software development is the idea of constructing software systems by assembling preexisting components instead of redeveloping similar or identical functionality always from scratch. Unfortunately, integrating existing components practically means adaptation and use rather than use only, which makes an ideal component-based development hard to realize in practice...